Python 默认是没有 goto 语句的，但是有一个第三方库支持在 Python 里面实现类似于goto 的功能：https://github.com/snoack/pyt...。

比如在下面这个例子里，

func() 在执行第一遍循环时，就会从最内层的 for j in range(2) 跳到函数的return 语句前面。

按理说本文到此就该完了，但是这个库有一个限制，如果嵌套的循环层次太深，就无法工作。比如下面这几行代码：

会让它抛出 SyntaxError。

本文接下来的内容，就是如何打破这个限制。

python-goto 这个库，通过 decorator 的方式修改了传进来的函数 func 的__code__ 属性，把插入的字节码暗桩替换成相关的 JMP 语句。具体的琐碎实现细节，可以参考该项目下 goto.py 这个文件，一共也就不到两百行。

本文开头的例子中，func 函数的字节码可以用

打印出来。

下面贴出不带 @with_goto 时的输出（# 号后面的内容是我加的）：实际上

跟带 @with_goto 时的输出比较，只有这两点差别：

在没有引入 @with_goto 时，goto .end 在 Python 解释器的眼里，其实就是goto.end，即访问某个叫 goto 的全局域里的对象的 end 属性。该语句会被编译成三条语句：LOAD_GLOBAL、LOAD_ATTR、POP_TOP。这就是插入在字节码里的暗桩。

在引入 @with_goto 之后，这三条语句会被替换成一条 JMP 语句外加若干条辅助的语句。这样在执行到这些字节码时，就会跳到指定的地方了，比如在上面例子中跳到 offset 48，也即原来 label .end 的下一条字节码。

（关于 Python 字节码的官方文档并不显眼，藏在 dis 这个模块下。注意它不是按字母表顺序介绍每个字节码的，所以要想查特定的字节码，需要 Ctrl+F 一下。）

JMP 语句只需要一条，如果要向前跳，就用 JUMP_FORWARD；向后跳，就用JUMP_ABSOLUTE。但是辅助的语句可能不止一条，比如要想从一个 for loop 或者 tryblock 跳出来，需要加 POP_BLOCK 语句。有多少层循环就需要加多少条 POP_BLOCK，比如前面的示例里是两层循环，就是两条 POP_BLOCK。

另外，由于 Python 字节码的长度固定为两个 byte，一个 byte 用于表示字节码的类型，另一个用于表示参数。如果要想放下超过字节码预留的空位的参数，需要用 EXTENDED_ARG语句。比如

那么语句 OP 的参数就是 7